Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
111	User Manual Frama-C User Manual Release FluorineLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:52 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
112	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
113	A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics Nico Feiertag and Kai Richter Symtavision GmbH, Braunschweig, Germany, {feiertag, richter}@symtavision. Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2012-10-31 05:01:40 Systems engineering Static timing analysis Communications protocol Latency CAN bus OSEK Program Evaluation and Review Technique Real-time computing Technology Diagrams Embedded operating systems
114	ValueAnalyzer for Am486 ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software syste Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 64-bit Computing Computer engineering Am486 X86 Embedded system
115	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
116	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
117	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovemberDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-11-19 17:41:03 Embedded Linux Smartphones Android Type system Apache Ant Information flow Java Software Computing Cross-platform software
118	LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign {lattner,vadve}@cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Compiler construction Compilers Compiler optimizations LLVM Virtual machines Link-time optimization Chris Lattner Intermediate language Static single assignment form Software Computing Programming language implementation
119	Microsoft Word - AndreasGrimmer.docx Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2015-03-02 08:15:19 Soot Programming language implementation Static program analysis Programming language Compiler Analysis Semantics Software Computing McGill University